Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
831	Code of Business Conduct Dear Colleague: I’m pleased to present our Code of Business Conduct. This is a critically Add to Reading List Source URL: webstorage.abbott.com Language: English - Date: 2015-01-20 12:28:16 Software engineering Programming language theory Abbott Computing C
832	, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:26 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
833	Outline • Two formulations Analytical for Add to Reading List Source URL: aass.oru.se Language: English - Date: 2005-03-31 12:57:44 Unification Logarithm Mathematics Software engineering Programming language theory Prolog Volume
834	TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: saturn.stanford.edu Language: English - Date: 2011-04-27 02:12:51 Computing Data types Program analysis Type theory Pointer Aliasing Type safety Escape analysis Programming language Static program analysis Programming language theory Software engineering
835	Functional Programming and Specification Examination 1. The exam lasts two hours. 2. Place your student identity card face-up on the desk in front of you. The invigilator may come to check your identity, and in this case Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-04 08:33:54 Standardized tests Functional languages Procedural programming languages Sports science Test Exam ML Programming language theory Education Software engineering
836	Paper Title (use style: paper title) Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2014-11-17 21:02:08 Program analysis Debugging Program slicing Program transformation Software maintenance Dependence analysis Data dependency Software quality Reliability engineering Software engineering Programming language theory Computer programming
837	C:enpersionr's guideMODUG-finalkw12.wpd Add to Reading List Source URL: www.lem.org.cn Language: English - Date: 2013-07-05 04:07:58 Procedural programming languages Air dispersion modeling AERMOD Fortran ALGOL 68 JavaScript Computing Software engineering Programming language theory
838	Microsoft Word - CSE 473S Lab Assignment 2.doc Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2006-12-21 05:48:36 Data transmission Protocol data unit Transmission Control Protocol Typedef ALGOL 68 Network protocols Computing Programming language theory Software engineering
839	The Trellys Project  Tim Sheard  Aaron Stump  Stephanie Weirich  Trellys  Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Data types Program analysis Type system Software engineering Logic in computer science Dependently typed programming Type theory Programming language theory Theoretical computer science
840	New Section GUIDELINES FOR CREATING AND CHANGING CODE UNITS AND FOR THE CREATION AND REVISION OF UNIT CODES CONTENTS I. Code Units A. Add to Reading List Source URL: www.ecu.edu Language: English - Date: 2012-06-26 15:39:13 C Cross-platform software Programming language theory Procedural programming languages Computing Software engineering

UPDATE